typed lambda calculus中文是什么意思

发音:

中文翻译
造句

有类型 lambda 演算
有类型lambda演算

type n. 1.型，类型，(工业产品的)品种；风格，型式。 2 ...
lambda n. 1.希腊语第十一个字母〔Λ,λ 与英语字母L相当〕 ...
calculus n. (pl. calculuses, -li ) 1. ...
simply typed lambda calculus 简单类型 lambda 演算; 简单类型lambda演算
lambda calculus lambda可定义函数; Λ-递归函数; Λ演算; λ演算; 无类型 lambda 演算; 无类型lambda演算; 演算
normalization property (lambda-calculus) 规范化性质
typed 打字; 类型化的
lambda n. 1.希腊语第十一个字母〔Λ,λ 与英语字母L相当〕。 2.微升〔百万分之一升〕。 3.λ粒子( ＝ lambda particle)。
calculus n. (pl. calculuses, -li ) 1.【医学】结石，石；积石；牙垢。 2.【数学】运算，演算；微积分(学)。 calculus of finite differences 【数学】差分演算(法)，差分学。 calculus of variation 变分法[学]。 differential [integral] calculus微[积]分(学)。 urinary calculus【医学】尿结石。
strong-typed 强类型的
strongly typed 强类型的; 强型别; 需要强化类型
strongly-typed 强类型的
typed behavior 性别行为的模仿
typed by jandy 服装专业英语
typed cloths 标准家用布
typed dataset 类型化数据集; 强类型数据集
typed literal 类型文字
typed pointer 类型指标
bacteriophage lambda λ噬菌体
lambda (λ) 微升
lambda angle λ角
lambda bacteriophage λ噬菌体
lambda binding λ约束
lambda chain 轻链,λ链:免疫球蛋白轻链型式之一
lambda computation λ计算

"查查词典"手机版

千万人都在用的超大词汇词典翻译APP

百科解释

A typed lambda calculus is a typed formalism that uses the lambda-symbol (lambda) to denote anonymous function abstraction. In this context, types are usually objects of a syntactic nature that are assigned to lambda terms; the exact nature of a type depends on the calculus considered (see kinds below).

详细百科解释

推荐英语阅读

typed lambda calculus的中文翻译，typed lambda calculus是什么意思，怎么用汉语翻译typed lambda calculus，typed lambda calculus的中文意思，typed lambda calculus的中文，typed lambda calculus in Chinese，typed lambda calculus的中文，typed lambda calculus怎么读，发音，例句，用法和解释由查查在线词典提供，版权所有违者必究。